VDict - Definition of Propositional Linear Temporal Logic

Word not found. Suggestions:

Reverse definition search (Computing (FOLDOC) dictionary):

modal logic propositional logic temporal logic PLTL predicate logic TEMPLOG LO Lolli linear logic Tempura propositional calculus LTL model checking linear type CLP(R) neutrosophic logic logic PDL linear function linear programming equational logic constant linear velocity eigenvector Boolean algebra EQLog linear map Emitter Coupled Logic Algebraic Logic Functional language F+L LeFun symmetric Programmable Array Logic symbolic logic classical logic first-order logic BABEL logic emulator intuitionistic logic P-Prolog LOGIN dual intuitionistic probability linear transformation LIPL temporal database quantifier HOL AMBUSH Distributed Logic Programming Language Of Temporal Ordering Specification inner product Horn clause {log} McCulloch-Pitts neuron two-valued logic Constraint Handling In Prolog linear space connective HCLP field-programmable gate array more...